矿用救生舱环境监控系统软件的研究

给出了矿用救生舱环境监控系统的组成,主要介绍了该系统软件的功能设计、总体架构及界面设计方案。该系统软件可实时显示各传感器的运行状态和检测数据、舱内气体余量、电源电量、照明灯状态、空气净化状态、自动控制状态、舱门状态等,人机交互界面友好,操作简便。该软件经长期连续运行实验,工作正常,达到了设计要求。     

LD3320的嵌入式语音识别系统的应用

语音交互系统是比较人性化的人机操作界面,它需要语音识别系统的支持。LD3320就是这样一款语音识别芯片。介绍了该芯片的工作原理及应用,给出了LD3320与微处理器的硬件接口电路及软件程序。随着高档MCU的不断出现,以MCU为核心的嵌入式语音交互系统会有非常好的应用前景。     

Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving

Examples in the history of Automated Theorem Proving are given, in order to show that even a seemingly mechanical activity, such as deductive inference drawing, involves special cultural features and tacit knowledge. Mechanisation of reasoning is thus regarded as a complex undertaking in cultural pruning of human-oriented reasoning. Sociological counterparts of this passage from human- to machine-oriented reasoning are discussed, by focusing on problems of man-machine interaction in the area of computer-assisted proof processing.     

基于光通信的数据单向导入系统的设计与实现

随着信息网络的日趋成熟,网络信息安全尤其是内网信息安全,越来越受到人们的关注,成为一时研究的热点。其中如何防止在移动存储设备与内网计算机信息交流过程中内网信息流失的问题,显得尤为迫切。为此,本文提出一种基于光通信的数据单向导入系统,为用户提供一种安全地将信息或者数据单向导入到内网的解决方案。利用光的单向性,从传输通道上卡断了反向的可能,有效地保护内网的机密信息不会流失到外部,同时做到良好的人机交互,用户可以任意选择存储设备中的文件发送。     

IC卡登录监控系统

随着工业生产管理便捷性和安全性需求日益增加,IC卡登录监控系统越来越受工厂欢迎。本文介绍了实际设备中用到的IC卡登录监控系统的关键技术,涉及到C#,Delphi,数据库,以及该技术应用到工厂设备的成果。其他类似需要登录权限管理的系统,都可以参考该技术,实现IC卡登录。     

含蓄热式电采暖的综合能源系统日前优化调度策略研究

以含蓄热式电采暖的综合能源系统日前优化调度运行问题为研究对象,分析了蓄热式电采暖系统运行的各种特点,建立了含蓄热式电采暖的综合能源系统运行优化调度模型。将某典型蓄热电采暖用户场景作为算例进行验证,结果表明通过对蓄热式电采暖运行情况进行优化,可以有效降低其对电网的负荷冲击,减小电网峰谷差,提升电采暖设备的使用效率,大幅降低用户采暖的运行费用。该方法可为蓄热式电采暖用户参与和电网互动、促进可再生能源消纳、提升采暖系统经济运行水平、降低电网峰谷差以及促进蓄热式电采暖系统推广等提供参考依据。     

A Web Server for Designing Molecular Switches Composed of Two Interacting RNAs

The programmability of RNA–RNA interactions through intermolecular base-pairing has been successfully exploited to design a variety of RNA devices that artificially regulate gene expression. An in silico design for interacting structured RNA sequences that satisfies multiple design criteria becomes a complex multi-objective problem. Although multi-objective optimization is a powerful technique that explores a vast solution space without empirical weights between design objectives, to date, no web service for multi-objective design of RNA switches that utilizes RNA–RNA interaction has been proposed. We developed a web server, which is based on a multi-objective design algorithm called MODENA, to design two interacting RNAs that form a complex in silico. By predicting the secondary structures with RactIP during the design process, we can design RNAs that form a joint secondary structure with an external pseudoknot. The energy barrier upon the complex formation is modeled by an interaction seed that is optimized in the design algorithm. We benchmarked the RNA switch design approaches (MODENA+RactIP and MODENA+RNAcofold) for the target structures based on natural RNA-RNA interactions. As a result, MODENA+RactIP showed high design performance for the benchmark datasets.     

基于孔隙压力黏结单元的准脆性材料水力劈裂模拟

传统数值方法对水力劈裂的模拟一般采用预设裂缝扩展路径,且将水流作用等效为压力荷载,难以反映裂缝渗流-开裂耦合效应. 采用自编程Python脚本程序批量插入孔隙压力黏结单元,考虑裂缝渗流-开裂耦合作用模拟准脆性材料水力劈裂随机扩展全过程. 在对经典理论模型及试验结果模拟验证的基础上,开展含多裂缝均质模型的水力劈裂全过程分析,并进一步建立混凝土细观尺度水力劈裂模型,分析骨料、界面过渡区和基体渗透性对混凝土劈裂全过程的影响. 结果表明,本研究模型可以有效模拟准脆性材料水力劈裂失效过程,准脆性材料多缝开裂过程伴随微裂缝的分叉扩展而非光滑的裂缝扩展路径,骨料及界面过渡区影响劈裂扩展路径造成裂缝分叉出现,混凝土基体的渗透性对其抵抗水力劈裂不利并影响失效软化过程.     

基于沉浸边界法的轴流泵内鱼体运动数值模拟

为精细分析鱼类在水力机械流道中的运动特性,本文以轴流泵为例,采用沉浸边界（immersed boundary,IB）与流固耦合（fluid-structure interaction,FSI）及大涡模拟（large eddy simulation,LES）相结合的方法,对泵内流场及鱼体通过泵流道的运动过程进行了数值模拟。结果表明,在相同雷诺数下计算得到的设计工况扬程系数与实验值误差仅为2.7%,验证了IB-FSI-LES方法适合于模拟轴流泵内部流动。与将鱼体视为流体示踪粒子的常规计算相比,采用IB-FSI-LES方法可以得到鱼体在泵内的复杂运动轨迹,捕捉鱼体与叶片发生碰撞时的运动突变以及叶轮内鱼体周围流场中涡结构的形成和脱落。研究结果可为水利水电工程中鱼类过机损伤精确评估及鱼类友好型水力机械优化设计提供科学依据。     

Deciphering the Binding Interactions between Acinetobacter baumannii ACP and β-ketoacyl ACP Synthase III to Improve Antibiotic Targeting Using NMR Spectroscopy

Fatty acid synthesis is essential for bacterial viability. Thus, fatty acid synthases (FASs) represent effective targets for antibiotics. Nevertheless, multidrug-resistant bacteria, including the human opportunistic bacteria, Acinetobacter baumannii, are emerging threats. Meanwhile, the FAS pathway of A. baumannii is relatively unexplored. Considering that acyl carrier protein (ACP) has an important role in the delivery of fatty acyl intermediates to other FAS enzymes, we elucidated the solution structure of A. baumannii ACP (AbACP) and, using NMR spectroscopy, investigated its interactions with β-ketoacyl ACP synthase III (AbKAS III), which initiates fatty acid elongation. The results show that AbACP comprises four helices, while Ca²⁺ reduces the electrostatic repulsion between acid residues, and the unconserved F47 plays a key role in thermal stability. Moreover, AbACP exhibits flexibility near the hydrophobic cavity entrance from D59 to T65, as well as in the α₁α₂ loop region. Further, F29 and A69 participate in slow exchanges, which may be related to shuttling of the growing acyl chain. Additionally, electrostatic interactions occur between the α₂ and α₃-helix of ACP and AbKAS III, while the hydrophobic interactions through the ACP α₂-helix are seemingly important. Our study provides insights for development of potent antibiotics capable of inhibiting A. baumannii FAS protein–protein interactions.